
#ifndef __KERNEL_H__
#include <kernel.h>
#endif


extern int kbd_init(DEVICE* dev);
extern int kbd_open(DEVICE* dev);
extern int kbd_close(DEVICE* dev);
extern int kbd_write(DEVICE* dev, void* buf, int buflen);
extern int kbd_read(DEVICE* dev, void* buf, int buflen);
extern int kbd_ioctl(DEVICE* dev, unsigned long cmd); 
extern int kbd_iint();


